$\vdash$  $\forall$$A$,$B$:Type, $f$,$g$:($A$$\rightarrow$$B$). ($\forall$$x$:$A$. Stable\{$f$($x$) = $g$($x$)\}) $\Rightarrow$ Stable\{$f$ = $g$\}